TSTP Solution File: DAT236^1 by SInE---0.4